الكتب الالكترونية

Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...